more on this theme     |     more from this thinker     |     more from this text

Single Idea 10761

[filed under theme 5. Theory of Logic / K. Features of Logics / 4. Completeness ]

Full Idea

All that should be required to get a semantics relative to which a given deductive system is complete is a sufficiently cunning model-theorist.

Gist of Idea

Completeness can always be achieved by cunning model-design

Source

Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §5)